area_for_locations

function area_for_locations(locations: set<location>, add_borders: boolean): (from: location, to: location)